Combining Reductions and Computations in ReDuX

نویسندگان

  • Reinhard Bündgen
  • Werner Lauterbach
چکیده

ReDuX [1, 4] is a term rewriting laboratory mainly aimed at theorem proving and completion procedures. ReDuX comprises several variants of Knuth-Bendix completion including a version supporting associative commutative operators and an inductive completion procedure. Several term orderings are available as well as a random term generator and a program to automatically analyze the set of irreducible ground terms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Redux 0 Server

Redux 0 is a subset of the full REDUX modell7]. The latter performs problem solving. In contrast Redux 0 does not and acts only as a decision maintenance server. It takes objects of types deened in an ontology of decision components and maintains dependencies between them. Redux 0 is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content...

متن کامل

Electricity Load Forecasting by Combining Adaptive Neuro-fuzzy Inference System and Seasonal Auto-Regressive Integrated Moving Average

Nowadays, electricity load forecasting, as one of the most important areas, plays a crucial role in the economic process. What separates electricity from other commodities is the impossibility of storing it on a large scale and cost-effective construction of new power generation and distribution plants. Also, the existence of seasonality, nonlinear complexity, and ambiguity pattern in electrici...

متن کامل

Rural Europe Redux

Rural Europe Redux? Reflections on Alternative Agro-Food Networks and Paradigm Change David Goodman Department of Environmental Studies University of California, Santa Cruz **Forthcoming in Sociologia Ruralis (2004), 44 (1)**

متن کامل

VARIATIONAL HOMOTOPY PERTURBATION METHOD FOR SOLVING THE NONLINEAR GAS DYNAMICS EQUATION

A. Noor et al. [7] analyze a technique by combining the variational iteration method and the homotopy perturbation method which is called the variational homotopy perturbation method (VHPM) for solving higher dimensional initial boundary value problems. In this paper, we consider the VHPM to obtain exact solution to Gas Dynamics equation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996